(= (* 5.2 4.0) 20.8)
